window: Check whether the new focus widget is the old one
authorTimm Bäder <mail@baedert.org>
Sun, 28 Apr 2019 09:27:21 +0000 (11:27 +0200)
committerTimm Bäder <mail@baedert.org>
Sun, 28 Apr 2019 09:27:21 +0000 (11:27 +0200)
commited4c08d9b331c37df0ad296e3e694c15105c41b9
treea698fe43d3419a036bd6b8e3dc8c5d2c46c65513
parent929cdd925927fcabdb353a0322b8f17b9e6104a4
window: Check whether the new focus widget is the old one

We generally do that for all properties.
gtk/gtkwindow.c